Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
61	Global Learning of Textual Entailment Graphs Supervisors: Eytan Ruppin, Ido dagan, Shimon Edelman Natural Language Understanding Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:01 Propositional calculus Entailment Metalogic Philosophical logic Logic Logical consequence Deduction
62	On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger Add to Reading List Source URL: www.loria.fr Language: English - Date: 2004-11-15 14:07:24 Deduction Propositional calculus Natural deduction Cut-elimination theorem Entailment Sequent calculus Linear logic Curry–Howard correspondence Logic Mathematical logic Proof theory
63	May 15, 2014 — Final version for proceedings of CSL-LICS 2014, extended with a 2-page appendix Symmetric Normalisation for Intuitionistic Logic Nicolas Guenot Lutz Straßburger Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-20 13:23:34 Mathematics Natural deduction Cut-elimination theorem Propositional calculus Sequent calculus Combinatory logic Linear logic Closed and exact differential forms Admissible rule Mathematical logic Logic Proof theory
64	Towards Proof Planning for M+ ω Carsten Sch¨ urmann Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-05 12:06:59 Deduction Logic Natural deduction Logic in computer science Lambda calculus Combinatory logic Mathematical logic Theoretical computer science Proof theory
65	QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in propositional-logic de Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-05-05 11:51:09 Natural deduction Sequent calculus Rule of inference Deep inference Sequent Cut-elimination theorem Substitution Propositional calculus Proof calculus Logic Proof theory Mathematical logic
66	Logic Journal of IGPL Advance Access published August 9, 2007 Logic for Mathematical Writing EDMUND HARRISS, Department of Mathematics, Imperial College London, London SW7 2AZ. E-mail: . Add to Reading List Source URL: www.mathematicians.org.uk Language: English - Date: 2009-09-28 10:54:02 Mathematical logic Philosophy of mathematics Abstraction Axiology Mathematical proof Axiom Combinatory logic Natural deduction David Hilbert Mathematics Logic Knowledge
67	Tuesday June 9th, :00-10:10 Reception 10:10-10:30 Add to Reading List Source URL: ttl2015.irisa.fr Language: English - Date: 2015-05-07 02:45:30 Deduction Abstraction Axiology Leon Henkin First-order logic Modal logic Natural deduction Logic Mathematical logic Philosophical logic
68	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics
69	Proofs in theories Gilles Dowek Draft, September 2013 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-05-25 05:47:28 Proof theory Dependently typed programming Type theory Logic in computer science Natural deduction Curry–Howard correspondence Theorem Mathematical proof Brouwer–Heyting–Kolmogorov interpretation Logic Mathematics Mathematical logic
70	PDF Document Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:41 Differential geometry Process calculi Π-calculus Proof theory Entailment Natural deduction Curry–Howard correspondence Logic Deduction Theoretical computer science